Test data generation - PDFSEARCH.IO - Document Search Engine

Test data generation
Results: 62

#	Item
11	Generation of Test Data Structures Using Constraint Logic Programming Valerio Senni1 , Fabio Fioravanti2 1 Department Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2013-09-28 05:09:03
12	Generation of test data structures using Constraint Logic Programming? Valerio Senni1 and Fabio Fioravanti2 1 2 Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2013-07-17 03:25:30
13	Property-Based Testing; A New Approach to Testing for Assurance George Fink Department of Computer Science University of California, Davis e-mail: g Add to Reading List Source URL: seclab.cs.ucdavis.edu Language: English - Date: 2004-06-21 18:55:47 Evaluation Test Data Generation Code coverage Test automation Dynamic testing Reliability engineering Software testing Software engineering Software quality
14	Swarm Testing Alex Groce Eric Eide Chaoqiang Zhang Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-06-04 16:49:31 Software development Swarm behaviour Mutation testing Test suite Test case Code coverage Test automation Test Data Generation Software testing Software quality Evaluation
15	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated test Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-13 07:09:29 Higher-order functions Search algorithms Data types Type theory Enumerated type Backtracking Generator Brute-force search Combinatory logic Computing Software engineering Computer programming
16	For Release: Wednesday, March 11, 2015, 8 a.m. EDT Four Decades of Data Used to Test 2016 Chevrolet Malibu Recorded customer use drives durability testing for next-generation midsize sedan DETROIT – Data collected o Add to Reading List Source URL: media.chevrolet.com Language: English - Date: 2015-04-11 14:33:58 Station wagons Mid-size cars Car classifications Convertibles Chevrolet Malibu Chevrolet Sedan Transport Private transport Coupes
17	Symbolic Execution for Software Testing in Practice – Preliminary Assessment Imperial College London Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-04-25 20:08:55 Computing Concolic testing Symbolic execution Java Pathfinder Test Data Generation Fuzz testing KeY Model checking Dynamic program analysis Software testing Formal methods Software development
18	Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths. Sriram Sankaranarayanan Aleksandar Chakarov Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-02 14:26:21 Normal distribution PP Random variable Probability density function Importance sampling Statistical hypothesis testing Variance Test Data Generation Probability box Statistics Probability and statistics Probability theory
19	Generating Test Inputs for Fault-Tree Analyzers using Imperative Predicates Saˇsa Misailovi´c Aleksandar Mili´cevi´c University of Belgrade Belgrade, Serbia Add to Reading List Source URL: mir.cs.illinois.edu Language: English - Date: 2007-04-23 11:37:26 Fault tree analysis Korat Evaluation Risk Software Software testing Test Data Generation Test data
20	PDF Document Add to Reading List Source URL: adl.opengroup.org Language: English - Date: 2001-11-22 13:31:09 Assertion definition language Software testing Action description language Anti-Defamation League Assertion Software architecture ADL Test Data Generation C Software engineering Computing Computer programming